Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets
نویسندگان
چکیده
E-contracting, i.e., establishing and enacting electronic contracts, has become important because of technological advances (e.g., the availability of web services) and more open markets. However, the establishment of an e-contract is complicated and error prone. There are multiple negotiation styles ranging from auctions to bilateral bargaining. This paper provides an approach for modeling multi-party negotiation protocols in colored Petri nets. It is shown how different negotiation styles can be modeled in a unified and consistent way. Moreover, CPN Tools is used to analyze the resulting colored Petri nets. Simulation can be used for both validation and performance analysis, while state-space analysis can be used to discover anomalies in various multi-part negotiation protocols.
منابع مشابه
Accessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملFlexible Negotiation Modeling by Using Colored Petri Nets
In multi-agent systems, negotiations are important activities for solving agent conflicts and forming agent cooperation. Nowadays, many applications require multi-agent systems to work in open and dynamic environments. In such working environments, agents need to face various changeable factors in negotiations The dynamic features of open environments make the need of a flexible mechanism to ha...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملMulti-Agent Model of Manufacturing Systems
The paper presents a multi-agent system for modeling the manufacturing process in a job-shop, in which agents are the basic processing entities. The agent characteristics are inspired by the Petri nets model and permit describing features to be found in untimed, timed, and colored Petri nets. The agents have a degree of autonomy, are reactive and pro-active. This allows decision to be distribut...
متن کاملColored Petri nets to Model and Simulate Biological Systems
Petri nets have become an effective formalism to model biological systems. However, attempts to simulate biological systems by low-level Petri nets are restricted to relatively small models, and they tend to grow quickly for modeling complex systems, which makes it more difficult to manage and understand the nets. Motivated by this, we propose a colored Petri net-based framework for modeling, s...
متن کامل